Curriculum Vitae Languages Spoken Education
نویسندگان
چکیده
Academic Interests Group theory and combinatorics (in particular groups acting on rooted trees, growth of groups, regular combings of groups, random walks on groups, and dynamical systems) Dynamical Systems (in particuliar iteration of holomorphic maps). Computer algebra and computational group theory
منابع مشابه
Huy v. Nguyen Curriculum Vitae
Research Intern June – August 2013 Motorola Solutions Inc., Chicago, IL • Supervisor: Yan-Ming Cheng, Senior Research Manager, CTO. • Worked in a spoken dialog project that aimed to support natural language queries to relational databases. • Developed a rule-based approach to convert a relational database schema to a relational ontology in RDF specification, which focused on the semantics betwe...
متن کاملCurriculum Vitae Et Studiorum
with valuation 110/110 cum laude Thesis: " Polymorphism and subtyping in MetaML " Supervisor: Eugenio Moggi • July 1996 High school degree at the " Istituto Tecnico Statale F.Liceti " of Rapallo (Gen-ova), with valuation 60/60 English: scholastic knowledge (PET certificate) French: scholastic knowledge Research activity Research interests Formal semantics of programming languages, functional an...
متن کاملCurriculum vitae et studiorum
1) Semantics of Programming Languages II (Prof. Ugo Montanari); 2) Database Programming Languages (Prof. Antonio Albano, Prof. Giuseppe Castagna, Prof. V. Benzaken) (Bertinoro); 3) Mobility Languages (Davide Sangiorgi) (Bertinoro); 4) Petri Nets (Prof. G. Balbo) (Bertinoro); 5) Syntactic Rule Formats and Defining Higher-Order Languages (Prof. Karen Bernstein); 6) Applied Cryptography (Prof. Pao...
متن کاملCurriculum Vitae et Studiorum
Education – Ph.D. in Computer Science, September 1997, Università degli Studi di Milano, Italy Thesis: Strongly Constructive Formal Systems. Supervisor: Prof. Pierangelo Miglioli – Bachelor of Science with distinction in Computer Science, December 1990. Università degli Studi di Milano, Italy Thesis: Logiche intermedie costruttive massimali (Maximal Intermediate Constructive Logics). Supervisor...
متن کاملTowards the Excellence in Research, Education, and Service
Overview This document summarizes my primary efforts and main contributions as well as highlights my major accomplishments during the last ten years towards the excellence in all professional aspects of my academic career including research, education, human resource development, and university, community, and professional services. In particular, this document comprises the following sections:...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2014